Basic Propositional Logic
あまりにもメチャクチャな名前なので，
Visser Propositional Logic
という名前もある．